שיחה:ניסוי מחשבתי

נראה לי שהפרדוקסים של זנון שיכים יותר למתמטיקה (ובעקיפין לפיסיקה, שהרי התיאור הפיסיקלי הוא רק המסגרת לפרדוקס) הרבה יותר מאשר לפילוסופיה.--Berger 01:30, 7 נוב' 2004 (UTC)

מכונת טיורינג? משפטי אי השלמות של גדל?

נתחיל ממשפטי אי השלמות - מדובר במשפטים מתמטיים, לא בניסויים, מחשבתיים או לא. בנוסף, אין שום סיבה שהם יוצמדו למכונת טיורינג.

שנית, לא ברור לי למה מכונת טיורינג עצמה מהווה ניסוי מחשבתי. כי מדובר ב"מכונה" תיאורטית שמאפשרת לחשב כל מה שמחשבים בני זמננו מסוגלים? אם כבר, נראה לי יותר נכון להביא במקומה את בעיית העצירה. גדי אלכסנדרוביץ' 15:00, 13 אפריל 2006 (UTC)